Complementary Algorithms for Tableaux
نویسندگان
چکیده
منابع مشابه
Complementary Algorithms for Tableaux
We study four operations deened on pairs of tableaux. Algorithms for the rst three involve the familiar procedures of jeu de taquin, row insertion, and column insertion. The fourth operation, hopscotch, is new, although specialised versions have appeared previously. Like the other three operations, this new operation may be computed with a set of local rules in a growth diagram, and it preserve...
متن کاملFe b 20 00 COMPLEMENTARY ALGORITHMS FOR TABLEAUX
We study four operations defined on pairs of tableaux. Algorithms for the first three involve the familiar procedures of jeu de taquin, row insertion, and column insertion. The fourth operation, hopscotch, is new, although specialised versions have appeared previously. Like the other three operations, this new operation may be computed with a set of local rules in a growth diagram, and it prese...
متن کاملN ov 2 00 0 COMPLEMENTARY ALGORITHMS FOR TABLEAUX
We study four operations defined on pairs of tableaux. Algorithms for the first three involve the familiar procedures of jeu de taquin, row insertion, and column insertion. The fourth operation, hopscotch, is new, although specialised versions have appeared previously. Like the other three operations, this new operation may be computed with a set of local rules in a growth diagram, and it prese...
متن کاملTableaux and Algorithms for Propositional Dynamic Logic with Converse
This paper presents a pre xed tableaux calculus for Proposi tional Dynamic Logic with Converse based on a combination of di erent techniques such as pre xed tableaux for modal logics and model checkers for mu calculus We prove the correctness and completeness of the calcu lus and illustrate its features We also discuss the transformation of the tableaux method naively NEXPTIME into an EXPTIME a...
متن کاملComplementary Matching Pursuit Algorithms for Sparse Approximation
Sparse coding in a redundant basis is of considerable interest in many areas of signal processing. The problem generally involves solving an under-determined system of equations under a sparsity constraint. Except for the exhaustive combinatorial approach, there is no known method to find the exact solution for general dictionaries. Among the various algorithms that find approximate solutions, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Combinatorial Theory, Series A
سال: 2001
ISSN: 0097-3165
DOI: 10.1006/jcta.2001.3173